Integrand size = 30, antiderivative size = 610 \[ \int (a+b x)^m (c+d x)^n \left (A+B x+C x^2+D x^3\right ) \, dx=\frac {\left (a^2 d^2 D \left (m^2+m (8+3 n)+3 \left (6+5 n+n^2\right )\right )+b^2 \left (c^2 D \left (6+5 m+m^2\right )-c C d (2+m) (4+m+n)+B d^2 \left (12+m^2+7 n+n^2+m (7+2 n)\right )\right )+a b d \left (c D (2+m) (6+m+3 n)-C d \left (m^2+m (8+3 n)+2 \left (8+6 n+n^2\right )\right )\right )\right ) (a+b x)^{1+m} (c+d x)^{1+n}}{b^3 d^3 (2+m+n) (3+m+n) (4+m+n)}-\frac {(a d D (9+2 m+3 n)+b (c D (3+m)-C d (4+m+n))) (a+b x)^{2+m} (c+d x)^{1+n}}{b^3 d^2 (3+m+n) (4+m+n)}+\frac {D (a+b x)^{3+m} (c+d x)^{1+n}}{b^3 d (4+m+n)}+\frac {\left (d (2+m+n) \left (a^3 d^2 D (1+n) (6+m+2 n)+a b^2 c (2+m) (c D (3+m)-C d (4+m+n))+A b^3 d^2 \left (12+m^2+7 n+n^2+m (7+2 n)\right )-a^2 b d (C d (1+n) (4+m+n)-c D (2+m) (6+m+3 n))\right )-(b c (1+m)+a d (1+n)) \left (a^2 d^2 D \left (m^2+m (8+3 n)+3 \left (6+5 n+n^2\right )\right )+b^2 \left (c^2 D \left (6+5 m+m^2\right )-c C d (2+m) (4+m+n)+B d^2 \left (12+m^2+7 n+n^2+m (7+2 n)\right )\right )+a b d \left (c D (2+m) (6+m+3 n)-C d \left (m^2+m (8+3 n)+2 \left (8+6 n+n^2\right )\right )\right )\right )\right ) (a+b x)^{1+m} (c+d x)^n \left (\frac {b (c+d x)}{b c-a d}\right )^{-n} \operatorname {Hypergeometric2F1}\left (1+m,-n,2+m,-\frac {d (a+b x)}{b c-a d}\right )}{b^4 d^3 (1+m) (2+m+n) (3+m+n) (4+m+n)} \]
[Out]
Time = 0.71 (sec) , antiderivative size = 605, normalized size of antiderivative = 0.99, number of steps used = 5, number of rules used = 5, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.167, Rules used = {1637, 965, 81, 72, 71} \[ \int (a+b x)^m (c+d x)^n \left (A+B x+C x^2+D x^3\right ) \, dx=\frac {(a+b x)^{m+1} (c+d x)^{n+1} \left (a^2 d^2 D \left (m^2+m (3 n+8)+3 \left (n^2+5 n+6\right )\right )+a b d \left (c D (m+2) (m+3 n+6)-C d \left (m^2+m (3 n+8)+2 \left (n^2+6 n+8\right )\right )\right )+b^2 \left (B d^2 \left (m^2+m (2 n+7)+n^2+7 n+12\right )+c^2 D \left (m^2+5 m+6\right )-c C d (m+2) (m+n+4)\right )\right )}{b^3 d^3 (m+n+2) (m+n+3) (m+n+4)}+\frac {(a+b x)^{m+1} (c+d x)^n \left (\frac {b (c+d x)}{b c-a d}\right )^{-n} \operatorname {Hypergeometric2F1}\left (m+1,-n,m+2,-\frac {d (a+b x)}{b c-a d}\right ) \left (a^3 d^2 D (n+1) (m+2 n+6)-\frac {(a d (n+1)+b c (m+1)) \left (a^2 d^2 D \left (m^2+m (3 n+8)+3 \left (n^2+5 n+6\right )\right )+a b d \left (c D (m+2) (m+3 n+6)-C d \left (m^2+m (3 n+8)+2 \left (n^2+6 n+8\right )\right )\right )+b^2 \left (B d^2 \left (m^2+m (2 n+7)+n^2+7 n+12\right )+c^2 D \left (m^2+5 m+6\right )-c C d (m+2) (m+n+4)\right )\right )}{d (m+n+2)}-a^2 b d (C d (n+1) (m+n+4)-c D (m+2) (m+3 n+6))+a b^2 c (m+2) (c D (m+3)-C d (m+n+4))+A b^3 d^2 \left (m^2+m (2 n+7)+n^2+7 n+12\right )\right )}{b^4 d^2 (m+1) (m+n+3) (m+n+4)}-\frac {(a+b x)^{m+2} (c+d x)^{n+1} (a d D (2 m+3 n+9)+b c D (m+3)-b C d (m+n+4))}{b^3 d^2 (m+n+3) (m+n+4)}+\frac {D (a+b x)^{m+3} (c+d x)^{n+1}}{b^3 d (m+n+4)} \]
[In]
[Out]
Rule 71
Rule 72
Rule 81
Rule 965
Rule 1637
Rubi steps \begin{align*} \text {integral}& = \frac {D (a+b x)^{3+m} (c+d x)^{1+n}}{b^3 d (4+m+n)}+\frac {\int (a+b x)^m (c+d x)^n \left (A b^3 d (4+m+n)-a^2 D (b c (3+m)+a d (1+n))-b \left (2 a b c D (3+m)-b^2 B d (4+m+n)+a^2 d D (6+m+3 n)\right ) x-b^2 (b c D (3+m)-b C d (4+m+n)+a d D (9+2 m+3 n)) x^2\right ) \, dx}{b^3 d (4+m+n)} \\ & = -\frac {(b c D (3+m)-b C d (4+m+n)+a d D (9+2 m+3 n)) (a+b x)^{2+m} (c+d x)^{1+n}}{b^3 d^2 (3+m+n) (4+m+n)}+\frac {D (a+b x)^{3+m} (c+d x)^{1+n}}{b^3 d (4+m+n)}+\frac {\int (a+b x)^m (c+d x)^n \left (b^2 \left (a^3 d^2 D (1+n) (6+m+2 n)+a b^2 c (2+m) (c D (3+m)-C d (4+m+n))+A b^3 d^2 \left (12+m^2+7 n+n^2+m (7+2 n)\right )-a^2 b d (C d (1+n) (4+m+n)-c D (2+m) (6+m+3 n))\right )+b^3 \left (a^2 d^2 D \left (m^2+m (8+3 n)+3 \left (6+5 n+n^2\right )\right )+b^2 \left (c^2 D \left (6+5 m+m^2\right )-c C d (2+m) (4+m+n)+B d^2 \left (12+m^2+7 n+n^2+m (7+2 n)\right )\right )+a b d \left (c D (2+m) (6+m+3 n)-C d \left (m^2+m (8+3 n)+2 \left (8+6 n+n^2\right )\right )\right )\right ) x\right ) \, dx}{b^5 d^2 (3+m+n) (4+m+n)} \\ & = \frac {\left (a^2 d^2 D \left (m^2+m (8+3 n)+3 \left (6+5 n+n^2\right )\right )+b^2 \left (c^2 D \left (6+5 m+m^2\right )-c C d (2+m) (4+m+n)+B d^2 \left (12+m^2+7 n+n^2+m (7+2 n)\right )\right )+a b d \left (c D (2+m) (6+m+3 n)-C d \left (m^2+m (8+3 n)+2 \left (8+6 n+n^2\right )\right )\right )\right ) (a+b x)^{1+m} (c+d x)^{1+n}}{b^3 d^3 (2+m+n) (3+m+n) (4+m+n)}-\frac {(b c D (3+m)-b C d (4+m+n)+a d D (9+2 m+3 n)) (a+b x)^{2+m} (c+d x)^{1+n}}{b^3 d^2 (3+m+n) (4+m+n)}+\frac {D (a+b x)^{3+m} (c+d x)^{1+n}}{b^3 d (4+m+n)}+\frac {\left (a^3 d^2 D (1+n) (6+m+2 n)+a b^2 c (2+m) (c D (3+m)-C d (4+m+n))+A b^3 d^2 \left (12+m^2+7 n+n^2+m (7+2 n)\right )-a^2 b d (C d (1+n) (4+m+n)-c D (2+m) (6+m+3 n))-\frac {(b c (1+m)+a d (1+n)) \left (a^2 d^2 D \left (m^2+m (8+3 n)+3 \left (6+5 n+n^2\right )\right )+b^2 \left (c^2 D \left (6+5 m+m^2\right )-c C d (2+m) (4+m+n)+B d^2 \left (12+m^2+7 n+n^2+m (7+2 n)\right )\right )+a b d \left (c D (2+m) (6+m+3 n)-C d \left (m^2+m (8+3 n)+2 \left (8+6 n+n^2\right )\right )\right )\right )}{d (2+m+n)}\right ) \int (a+b x)^m (c+d x)^n \, dx}{b^3 d^2 (3+m+n) (4+m+n)} \\ & = \frac {\left (a^2 d^2 D \left (m^2+m (8+3 n)+3 \left (6+5 n+n^2\right )\right )+b^2 \left (c^2 D \left (6+5 m+m^2\right )-c C d (2+m) (4+m+n)+B d^2 \left (12+m^2+7 n+n^2+m (7+2 n)\right )\right )+a b d \left (c D (2+m) (6+m+3 n)-C d \left (m^2+m (8+3 n)+2 \left (8+6 n+n^2\right )\right )\right )\right ) (a+b x)^{1+m} (c+d x)^{1+n}}{b^3 d^3 (2+m+n) (3+m+n) (4+m+n)}-\frac {(b c D (3+m)-b C d (4+m+n)+a d D (9+2 m+3 n)) (a+b x)^{2+m} (c+d x)^{1+n}}{b^3 d^2 (3+m+n) (4+m+n)}+\frac {D (a+b x)^{3+m} (c+d x)^{1+n}}{b^3 d (4+m+n)}+\frac {\left (\left (a^3 d^2 D (1+n) (6+m+2 n)+a b^2 c (2+m) (c D (3+m)-C d (4+m+n))+A b^3 d^2 \left (12+m^2+7 n+n^2+m (7+2 n)\right )-a^2 b d (C d (1+n) (4+m+n)-c D (2+m) (6+m+3 n))-\frac {(b c (1+m)+a d (1+n)) \left (a^2 d^2 D \left (m^2+m (8+3 n)+3 \left (6+5 n+n^2\right )\right )+b^2 \left (c^2 D \left (6+5 m+m^2\right )-c C d (2+m) (4+m+n)+B d^2 \left (12+m^2+7 n+n^2+m (7+2 n)\right )\right )+a b d \left (c D (2+m) (6+m+3 n)-C d \left (m^2+m (8+3 n)+2 \left (8+6 n+n^2\right )\right )\right )\right )}{d (2+m+n)}\right ) (c+d x)^n \left (\frac {b (c+d x)}{b c-a d}\right )^{-n}\right ) \int (a+b x)^m \left (\frac {b c}{b c-a d}+\frac {b d x}{b c-a d}\right )^n \, dx}{b^3 d^2 (3+m+n) (4+m+n)} \\ & = \frac {\left (a^2 d^2 D \left (m^2+m (8+3 n)+3 \left (6+5 n+n^2\right )\right )+b^2 \left (c^2 D \left (6+5 m+m^2\right )-c C d (2+m) (4+m+n)+B d^2 \left (12+m^2+7 n+n^2+m (7+2 n)\right )\right )+a b d \left (c D (2+m) (6+m+3 n)-C d \left (m^2+m (8+3 n)+2 \left (8+6 n+n^2\right )\right )\right )\right ) (a+b x)^{1+m} (c+d x)^{1+n}}{b^3 d^3 (2+m+n) (3+m+n) (4+m+n)}-\frac {(b c D (3+m)-b C d (4+m+n)+a d D (9+2 m+3 n)) (a+b x)^{2+m} (c+d x)^{1+n}}{b^3 d^2 (3+m+n) (4+m+n)}+\frac {D (a+b x)^{3+m} (c+d x)^{1+n}}{b^3 d (4+m+n)}+\frac {\left (a^3 d^2 D (1+n) (6+m+2 n)+a b^2 c (2+m) (c D (3+m)-C d (4+m+n))+A b^3 d^2 \left (12+m^2+7 n+n^2+m (7+2 n)\right )-a^2 b d (C d (1+n) (4+m+n)-c D (2+m) (6+m+3 n))-\frac {(b c (1+m)+a d (1+n)) \left (a^2 d^2 D \left (m^2+m (8+3 n)+3 \left (6+5 n+n^2\right )\right )+b^2 \left (c^2 D \left (6+5 m+m^2\right )-c C d (2+m) (4+m+n)+B d^2 \left (12+m^2+7 n+n^2+m (7+2 n)\right )\right )+a b d \left (c D (2+m) (6+m+3 n)-C d \left (m^2+m (8+3 n)+2 \left (8+6 n+n^2\right )\right )\right )\right )}{d (2+m+n)}\right ) (a+b x)^{1+m} (c+d x)^n \left (\frac {b (c+d x)}{b c-a d}\right )^{-n} \, _2F_1\left (1+m,-n;2+m;-\frac {d (a+b x)}{b c-a d}\right )}{b^4 d^2 (1+m) (3+m+n) (4+m+n)} \\ \end{align*}
Time = 0.24 (sec) , antiderivative size = 254, normalized size of antiderivative = 0.42 \[ \int (a+b x)^m (c+d x)^n \left (A+B x+C x^2+D x^3\right ) \, dx=\frac {(a+b x)^{1+m} (c+d x)^n \left (\frac {b (c+d x)}{b c-a d}\right )^{-n} \left ((b c-a d)^3 D \operatorname {Hypergeometric2F1}\left (1+m,-3-n,2+m,\frac {d (a+b x)}{-b c+a d}\right )+b (b c-a d)^2 (C d-3 c D) \operatorname {Hypergeometric2F1}\left (1+m,-2-n,2+m,\frac {d (a+b x)}{-b c+a d}\right )+b^2 (b c-a d) \left (-2 c C d+B d^2+3 c^2 D\right ) \operatorname {Hypergeometric2F1}\left (1+m,-1-n,2+m,\frac {d (a+b x)}{-b c+a d}\right )+b^3 \left (c^2 C d-B c d^2+A d^3-c^3 D\right ) \operatorname {Hypergeometric2F1}\left (1+m,-n,2+m,\frac {d (a+b x)}{-b c+a d}\right )\right )}{b^4 d^3 (1+m)} \]
[In]
[Out]
\[\int \left (b x +a \right )^{m} \left (d x +c \right )^{n} \left (D x^{3}+C \,x^{2}+B x +A \right )d x\]
[In]
[Out]
\[ \int (a+b x)^m (c+d x)^n \left (A+B x+C x^2+D x^3\right ) \, dx=\int { {\left (\mathit {capitalD} x^{3} + C x^{2} + B x + A\right )} {\left (b x + a\right )}^{m} {\left (d x + c\right )}^{n} \,d x } \]
[In]
[Out]
Exception generated. \[ \int (a+b x)^m (c+d x)^n \left (A+B x+C x^2+D x^3\right ) \, dx=\text {Exception raised: HeuristicGCDFailed} \]
[In]
[Out]
\[ \int (a+b x)^m (c+d x)^n \left (A+B x+C x^2+D x^3\right ) \, dx=\int { {\left (D x^{3} + C x^{2} + B x + A\right )} {\left (b x + a\right )}^{m} {\left (d x + c\right )}^{n} \,d x } \]
[In]
[Out]
\[ \int (a+b x)^m (c+d x)^n \left (A+B x+C x^2+D x^3\right ) \, dx=\int { {\left (D x^{3} + C x^{2} + B x + A\right )} {\left (b x + a\right )}^{m} {\left (d x + c\right )}^{n} \,d x } \]
[In]
[Out]
Timed out. \[ \int (a+b x)^m (c+d x)^n \left (A+B x+C x^2+D x^3\right ) \, dx=\int {\left (a+b\,x\right )}^m\,{\left (c+d\,x\right )}^n\,\left (A+B\,x+C\,x^2+x^3\,D\right ) \,d x \]
[In]
[Out]